First Steps in the Construction of the Geometric Machine Model
نویسندگان
چکیده
This work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose positions are labelled by the points of a geometric space. The ordered structure of the GM model is based on Girard's Coherence Spaces. Starting with a coherence space of elementary processes, the inductive domain-theoretic structure of this model is step-wise and systematically constructed and the procedure completion ensures the existence of temporally and spatially infinite computations. A particular aim of our work is to apply this coherence-space-based interpretation to the semantic modelling parallelism and distributed computation over array structures.
منابع مشابه
مدلسازی و شبیه سازی خطاهای سیم بندی استاتور موتور القایی قفس سنجابی با استفاده از روش مدار معادل مغناطیسی
Induction Motor especially the squirrel cage type of this motor plays important role in industry. According to the application type, this motor place against various stresses that are caused failure in the motor. The most common failure is related to the Stator winding. Among these failures are turn-to-turn, coil-to-coil and phase to phase faults. Flow the high current do to the induction resul...
متن کاملA Neural Network Model Based on Support Vector Machine for Conceptual Cost Estimation in Construction Projects
Estimation of the conceptual costs in construction projects can be regarded as an important issue in feasibility studies. This estimation has a major impact on the success of construction projects. Indeed, this estimation supports the required information that can be employed in cost management and budgeting of these projects. The purpose of this paper is to introduce an intelligent model to im...
متن کاملExperimental Study of Geometric Parameters of transverse Steps on High Speed vessels drag at different deadrise angle of the vessels body
By investigating the research in the field of planing vessels, limited research has been conducted to investigate the behavior and other hydromantic parameters. Given that such vessels can have better hydrodynamic performance than similar vessels, research and study is one of the needs and priorities of designers. With this purpose, this study examines the effects of the transverse steps hydrod...
متن کاملOn the category of geometric spaces and the category of (geometric) hypergroups
In this paper first we define the morphism between geometric spaces in two different types. We construct two categories of $uu$ and $l$ from geometric spaces then investigate some properties of the two categories, for instance $uu$ is topological. The relation between hypergroups and geometric spaces is studied. By constructing the category $qh$ of $H_{v}$-groups we answer the question...
متن کاملA new classification method based on pairwise SVM for facial age estimation
This paper presents a practical algorithm for facial age estimation from frontal face image. Facial age estimation generally comprises two key steps including age image representation and age estimation. The anthropometric model used in this study includes computation of eighteen craniofacial ratios and a new accurate skin wrinkles analysis in the first step and a pairwise binary support vector...
متن کامل